Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
621	Computability Classes for Enforcement Mechanisms* KEVIN W. HAMLEN Cornell University GREG MORRISETT Harvard University and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-04-26 16:43:56 Applied mathematics Computer science Computability theory Formal methods Computability Finite-state machine Kernel Algorithm Turing machine Models of computation Theory of computation Theoretical computer science
622	Introduction to Lambda Calculus Henk Barendregt Erik Barendsen Revised edition Add to Reading List Source URL: ftp.cs.ru.nl Language: English - Date: 2008-07-15 17:50:58 Formal methods Models of computation Elementary mathematics Combinatory logic Free variables and bound variables Function Variable De Bruijn index Spectral theory of ordinary differential equations Mathematics Lambda calculus Computability theory
623	Solutions of the Goncharov-Millar and Degree Spectra Problems in The Theory of Computable Models Bakhadyr Khoussainov The University of Auckland New Zealand Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-11-18 16:33:20 Computer science Mathematics Computable function Recursive set Recursively enumerable set Turing reduction Computable isomorphism Low RE Computability theory Theoretical computer science Theory of computation
624	Erkenn[removed]:979–990 DOI[removed]s10670[removed]x ORIGINAL PAPER Ideal Negative Conceivability and the Halting Problem Manolo Martı´nez Add to Reading List Source URL: www.manolomartinez.net Language: English - Date: 2013-09-12 11:31:28 Computer science Turing machine Models of computation Alan Turing Halting problem Computability Oracle machine Hypercomputation Description number Theoretical computer science Computability theory Theory of computation
625	A Generic Abstract Syntax Model for Embedded Languages Emil Axelsson Chalmers University of Technology [removed] Abstract Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-07-02 14:56:42 Subroutines Recursion Control flow Data types Computability theory Eval Map Generic programming ECL programming language Software engineering Computing Computer programming
626	Innovations in Computational Type Theory using Nuprl S. F. Allen, M. Bickford, R. L. Constable, R. Eaton, C. Kreitz, L. Lorigo, E. Moran Department of Computer Science, Cornell-University, Ithaca, NY[removed] {sfa,mark Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2005-06-21 10:54:34 Type theory Logic in computer science Dependently typed programming Computability theory Intuitionistic type theory Curry–Howard correspondence Natural deduction Lambda calculus Combinatory logic Mathematics Logic Mathematical logic
627	What does the Turing test really mean? And how many human beings (including Turing) could pass? By Tyler Cowen and Michelle Dawson1 June 3, 2009 Alan Turing’s short 1950 paper in Mind, “Computing Machinery and Intell Add to Reading List Source URL: www.gmu.edu Language: English - Date: 2009-06-24 17:31:06 Science Philosophy of artificial intelligence Computability theory Turing machine Theory of computation Turing test Computing Machinery and Intelligence Universal Turing machine Reverse Turing test Alan Turing Artificial intelligence Computer science
628	Implementation and Indeterminacy Curtis Brown Department of Philosophy Trinity University One Trinity Place, San Antonio, TX 78212, USA [removed] Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:27:36 Computer science Computability theory Turing machine Computability Computable function Algorithm Register machine Abstract machine Finite-state machine Theoretical computer science Theory of computation Models of computation
629	CHAPTER THREE PERCEPTION AND COMPUTATION In this chapter we indicate how the class of observers properly contains the class of Turing machines. We discuss the simulation of observers by Turing Add to Reading List Source URL: www.cogsci.uci.edu Language: English - Date: 2002-07-26 13:45:30 Theory of computation Computer science Models of computation Formal methods Alan Turing Symbol Computable function Turing machine Turing degree Computability theory Theoretical computer science Mathematics
630	Compact Representation for Answer Sets of n-ary Regular Queries by Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-07-14 21:35:59 Model theory Functions and mappings Computability theory Structure FO Constructible universe Function Arity Linear temporal logic Mathematics Mathematical logic Universal algebra

UPDATE